map f (map h [12]) = map (f . h) [12]